1. Advanced work in English
پدیدآورنده : Parker, Colin Rodwell Eric.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، English language - Style,، Logic, Symbolic and mathematical
رده :
PE
1413
.
P28
2. An introduction to Wittgenstein's Tractatus
پدیدآورنده : Anscombe, Gertrude Elizabeth Margaret, 9191-1002
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
3376
.
W563T7226
1971
3. Essays on Wittgenstein's Tractatus
پدیدآورنده : / edited by Irving M. Copi and Robert W. Beard
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Wittgenstein, Ludwig, 1889 - 1951. Tractatus,Logic, symbolic and mathematical,Language - Philosophy
رده :
149
.
94
Co-E
4. Essays on wittgnestein's tractatus
پدیدآورنده : / edited by Irving M. Copi, Robert W. Beard
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Wittgenstein, Luding. 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language - Philosophy
رده :
160
W831
5. Foundations of logic and linguistics: problems and their solutions
پدیدآورنده : edited by Georg Dorn and P. Weingartner
کتابخانه: كتابخانه دانشکده زبانها و ادبیات خارجی دانشگاه تهران (تهران)
موضوع : Logic,Logic, Symbolic and mathematical,Language and logic,Language and languages
رده :
BC
5
.
F68
1985
6. Foundations of logic and linguistics : problems and their solutions
پدیدآورنده : edited by Georg Dorn and P. Weingartner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Language and logic,Philosophy -- Congresses ، Language and languages
رده :
BC
5
.
I56
1985
7. Frege :
پدیدآورنده : Michael Beaney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.
رده :
B3245
.
F24
B43
1996
8. Frege :making sense
پدیدآورنده : Beaney, Michael.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Frege, Gottlob,8481-5291,، Logic,، Logic, Symbolic and mathematical,، Analysis )Philosophy(,Philosophy ، Language and languages,Philosophy ، Mathematics
رده :
B3245
.
F24
B43
1996
9. From natural language processing to logic for expert systems
پدیدآورنده : / editor Andre Thayse authors Jean -Louis Binot.. [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Natural language prodceeing (Computer science),Expert systems -- (Computer science),Logic, Symbolic and mathematical,Artificial intelligence
رده :
QA
76
.
9
.
N38F76
1991
10. From signs to propositions: The concept of form in eighteenth-century semantic theory
پدیدآورنده : Land, Stephen K.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Semantics,Philosophy ، Language and languages,81th century - History ، Linguistics,، Logic, Symbolic and mathematical.,81th century ، Philosophy, Modern
رده :
P
325
.
L3F7
11. From signs to propositions: the concept of form in eighteenth-century semantic theory
پدیدآورنده : Stephen K. Land
کتابخانه: كتابخانه دانشکده زبانها و ادبیات خارجی دانشگاه تهران (تهران)
موضوع : Semantics,Language and languages,Linguistics,Logic, Symbolic and mathematical
رده :
P
325
.
L29
1974
12. Introduction to formal philosophy
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors; Esther Michelsen Kjeldahl, assistant editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Philosophy,، Analysis )Philosophy(,، Computer science,، Logic, Symbolic and mathematical,، Ethics,Philosophy ، Language and languages
رده :
B
808
.
5
.
I56
13. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
رده :
P
39
.
B46
14. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J F A K van
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Learning language in logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Natural language processing (Computer science) ; Logic, Symbolic and mathematical ;
16. Learning language in logic
پدیدآورنده : / James Cussens, Saeso Dezeroski, (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic.,Natural language processing (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
9
,.
L63
,
L42
,
2000
17. Learning language in logic
پدیدآورنده : James Cussens, Saso Dzeroski, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer logic,، Natural language processing )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1925
18. Logic, Language, formalism, informlaism
پدیدآورنده : Richardson, Daniel
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic, Symbolic and mathematical - Study and teaching , Computational Linguistics - Study and teaching , Language and logic - Study and teaching , Reasoning - Study and teaching
رده :
QA
9
.
R52
1995
19. Logic and computer science
پدیدآورنده : / S. Homer... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
رده :
QA
9
.
A1L6
1990
20. Logic, language, and computation
پدیدآورنده : / edited by Jerry Seligman & Dag Westerst?Nhl
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Language and logic.,Logic, Symbolic and mathematical.,Computational linguistics.
رده :
P
,
39
,.
L593
,
1996
